function FindProxyForURL(url, host) {
    // our local URLs from the domains below example.com don't need a proxy:
    if (shExpMatch(host, "*.zte.com.cn")) {
      return "DIRECT";
    }
    if (shExpMatch(host, "*.github.com") || shExpMatch(host, "*.facebook.com")) {
      return "PROXY proxyhk.zte.com.cn:80";
    }
  
    // URLs within this network are accessed through
    // port 8080 on fastproxy.example.com:
    if (isInNet(host, "10.0.0.0", "255.0.0.0")) {
      return "DIRECT";
    }
  
    // All other requests go through port 8080 of proxy.example.com.
    // should that fail to respond, go directly to the WWW:
    return "PROXY proxy.zte.com.cn:80; DIRECT";
  }